package tarantula.experiment.primitive;

import junit.framework.TestCase;

public class PrimitiveFailedTestsDDSliceBug1 extends TestCase {
	public void test1() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var1 = new org.apache.commons.collections.primitives.ArrayCharList(var0);
	    org.apache.commons.collections.primitives.ArrayCharList var2 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var3 = new java.lang.Integer(10);
	    java.lang.Character var4 = new java.lang.Character('#');
	    boolean var5 = var1.add((char)var4);
	    java.lang.Integer var6 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var7 = new org.apache.commons.collections.primitives.ArrayCharList(var6);
	    java.lang.Integer var8 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var9 = new org.apache.commons.collections.primitives.ArrayCharList(var8);
	    java.lang.Integer var10 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var11 = new org.apache.commons.collections.primitives.ArrayCharList(var10);
	    java.lang.Integer var12 = new java.lang.Integer(10);
	    java.lang.Integer var13 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var14 = new org.apache.commons.collections.primitives.ArrayCharList(var13);
	    java.lang.Integer var15 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var16 = new org.apache.commons.collections.primitives.ArrayCharList(var15);
	    java.lang.Integer var17 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var18 = new org.apache.commons.collections.primitives.ArrayCharList(var17);
	    org.apache.commons.collections.primitives.ArrayCharList var19 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var20 = new java.lang.Integer(10);
	    java.lang.Character var21 = new java.lang.Character('#');
	    org.apache.commons.collections.primitives.adapters.CharListList var22 = new org.apache.commons.collections.primitives.adapters.CharListList((org.apache.commons.collections.primitives.CharList)var1);
	    org.apache.commons.collections.primitives.adapters.ListShortList var23 = new org.apache.commons.collections.primitives.adapters.ListShortList((java.util.List)var22);
	    org.apache.commons.collections.primitives.ShortList var24 = org.apache.commons.collections.primitives.ShortCollections.unmodifiableShortList((org.apache.commons.collections.primitives.ShortList)var23);
	    
	    // Checks the contract:  var24.equals(var24)
	    assertTrue("Contract failed: var24.equals(var24)", var24.equals(var24));

	  }
	
	public void test4() throws Throwable {

	    org.apache.commons.collections.primitives.ArrayCharList var0 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var1 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var2 = new org.apache.commons.collections.primitives.ArrayCharList(var1);
	    org.apache.commons.collections.primitives.ArrayCharList var3 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Integer var4 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var5 = new org.apache.commons.collections.primitives.ArrayCharList(var4);
	    java.lang.Character var6 = new java.lang.Character('#');
	    int var7 = var3.indexOf((char)var6);
	    java.lang.Integer var8 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var9 = new org.apache.commons.collections.primitives.ArrayCharList(var8);
	    java.lang.Integer var10 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var11 = new org.apache.commons.collections.primitives.ArrayCharList(var10);
	    java.lang.Integer var12 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var13 = new org.apache.commons.collections.primitives.ArrayCharList(var12);
	    java.lang.Integer var14 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var15 = new org.apache.commons.collections.primitives.ArrayCharList(var14);
	    int var16 = var2.size();
	    java.lang.Integer var17 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var18 = new org.apache.commons.collections.primitives.ArrayCharList(var17);
	    java.lang.Character var19 = new java.lang.Character('4');
	    var0.add((int)var16, (char)var19);
	    java.lang.Integer var21 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var22 = new org.apache.commons.collections.primitives.ArrayCharList(var21);
	    java.lang.Integer var23 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var24 = new org.apache.commons.collections.primitives.ArrayCharList(var23);
	    char[] var25 = new char[] { };
	    org.apache.commons.collections.primitives.ArrayCharList var26 = new org.apache.commons.collections.primitives.ArrayCharList();
	    java.lang.Character var27 = new java.lang.Character('#');
	    java.util.List var28 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var0);
	    org.apache.commons.collections.primitives.adapters.ListShortList var29 = new org.apache.commons.collections.primitives.adapters.ListShortList(var28);
	    org.apache.commons.collections.primitives.ShortList var30 = org.apache.commons.collections.primitives.ShortCollections.unmodifiableShortList((org.apache.commons.collections.primitives.ShortList)var29);
	    
	    // Checks the contract:  var30.equals(var30)
	    assertTrue("Contract failed: var30.equals(var30)", var30.equals(var30));

	  }

	  public void test5() throws Throwable {

	    java.lang.Integer var0 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var1 = new org.apache.commons.collections.primitives.ArrayCharList(var0);
	    java.lang.Integer var2 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var3 = new org.apache.commons.collections.primitives.ArrayCharList(var2);
	    java.lang.Integer var4 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var5 = new org.apache.commons.collections.primitives.ArrayCharList(var4);
	    java.lang.Character var6 = new java.lang.Character('#');
	    java.lang.Integer var7 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var8 = new org.apache.commons.collections.primitives.ArrayCharList(var7);
	    java.lang.Integer var9 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var10 = new org.apache.commons.collections.primitives.ArrayCharList(var9);
	    java.lang.Integer var11 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var12 = new org.apache.commons.collections.primitives.ArrayCharList(var11);
	    java.lang.Character var13 = new java.lang.Character('#');
	    java.lang.Integer var14 = new java.lang.Integer(10);
	    int var15 = var10.size();
	    org.apache.commons.collections.primitives.ArrayCharList var16 = new org.apache.commons.collections.primitives.ArrayCharList(var15);
	    java.lang.Integer var17 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var18 = new org.apache.commons.collections.primitives.ArrayCharList(var17);
	    int var19 = var18.size();
	    java.lang.Integer var20 = new java.lang.Integer(10);
	    org.apache.commons.collections.primitives.ArrayCharList var21 = new org.apache.commons.collections.primitives.ArrayCharList(var20);
	    java.lang.Character var22 = new java.lang.Character('#');
	    var16.add((int)var19, (char)var22);
	    java.util.List var24 = org.apache.commons.collections.primitives.adapters.CharListList.wrap((org.apache.commons.collections.primitives.CharList)var16);
	    org.apache.commons.collections.primitives.ShortList var25 = org.apache.commons.collections.primitives.adapters.ListShortList.wrap(var24);
	    org.apache.commons.collections.primitives.ShortList var26 = org.apache.commons.collections.primitives.ShortCollections.unmodifiableShortList(var25);
	    
	    // Checks the contract:  var26.equals(var26)
	    assertTrue("Contract failed: var26.equals(var26)", var26.equals(var26));

	  }
}
